翻訳と辞書 Words near each other ・ line feed ・ line noise ・ line printer ・ line probing ・ line starve ・ linear address space ・ linear argument ・ linear assignment ・ linear function ・ linear graph notation ・ linear logic ・ linear map ・ linear programming ・ linear space ・ linear transformation ・ linear type ・ lines of code ・ lines per minute ・ lingo ・ lingol Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク linear logic ： FOLDOC linear logic A logic invented by Girard in 1987 that can be used in proofs related to resource usage. {(http://brics.dk/LS/96/6/BRICS-LS-96-6/BRICS-LS-96-6.html)}. [Wadler, P., "Is there a use for linear logic", ACM/IFIP PEPM Conference, 1991]. [Summary?] (2003-05-02) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.